1. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
پدیدآورنده : Hans-Jorg Kreowski...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : ، Formal methods )Computer science(,، Computer software,Design ، Computer systems
رده :
QA
76
.
L28
Vol
.
3393